The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)

In "Logical consequence: A defense of Tarski" (Journal of Philosophical Logic, vol. 25, 1996, pp. 617-677), Greg Ray defends Tarski's account of logical consequence against the criticisms of John Etchemendy. While Ray's defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be replaced by a stronger (...) absence-of-counterexamples criterion. It is argued that the latter criterion reflects the modal character of our intuitive concept of logical consequence, and it is shown that Tarskian consequence can be proved to satisfy this criterion for certain choices of logical constants. Finally, an apparent inconsistency in Ray's interpretation of Tarski's position on the modal status of the consequence relation is noted. (shrink)

This article studies seriously actualistic quantified modal logics. A key component of the language is an abstraction operator by means of which predicates can be created out of complex formulas. This facilitates proof of a uniform substitution theorem: if a sentence is logically true, then any sentence that results from substituting a predicate abstract for each occurrence of a simple predicate abstract is also logically true. This solves a problem identified by Kripke early in the modern semantic study of quantified (...) modal logic. A tableau proof system is presented and proved sound and complete with respect to logical truth. The main focus is on seriously actualistic T, an extension of T, but the results established hold also for systems based on other propositional modal logics. Following Menzel it is shown that the formal language studied also supports an actualistic account of truth simpliciter. (shrink)

In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...) characterization of necessity, the criterion for selecting logical constants, and the exact role of apriority. I argue, among other things, that there is no need to recognize a special logical sense of necessity and that the selection of terms to serve as logical constants is ultimately a pragmatic matter. In the third section, I consider whether the informal account I have presented and defended is adequately represented by the usual technical definition. I show that it is, and provably so, for certain limited ways of selecting logical constants. In the general case, however, there seems to be no way to be sure that the technical and informal accounts coincide. (shrink)

Although the use of possible worlds in semantics has been very fruitful and is now widely accepted, there is a puzzle about the standard definition of validity in possible-worlds semantics that has received little notice and virtually no comment. A sentence of an intensional language is typically said to be valid just in case it is true at every world under every model on every model structure of the language. Each model structure contains a set of possible worlds, and models (...) are defined relative to model structures, assigning truth-values to sentences at each world countenanced by the model structure. The puzzle is why more than one model structure is used in the definition of validity. There is presumably just one class of all possible worlds and just one model structure defined on this class that does correctly the things that model structures are supposed to do. (These include, but need not be limited to, specifying the set of individuals in each world as well as various accessibility relations between worlds.) Why not define validity simply as truth at every world under every model on this one model structure? What is the point of bringing in more model structures than just this one?

We investigate these questions in some detail and conclude that for many intensional languages the puzzle points to a genuine difficulty: the standard definition of validity is insufficiently motivated. We begin (Section 1) by showing that a plausible and natural account of validity for intensional languages can be based on a single model structure, and that validity so defined is analogous in important respects to the standard account of validity for extensional languages. We call this notion of validity "validity!", and in Section 2 we contrast it with the standard notion, which we call "validity2". Several attempts are made to discover a rationale for the almost universal acceptance of validity2, but in most of these attempts we come up empty-handed. So in Section 3 we investigate validity! for some intensional languages. Our investigation includes providing axiomatizations for several propositional and predicate logics, most of which are provably complete. The completeness proofs are given in the Appendix, which also contains a sketch of a compactness proof for one of the predicate logics. (shrink)

In a recent discussion article in this journal, Gila Sher responds to some of my criticisms of her work on what she calls the formal-structural account of logical consequence. In the present paper I reply and attempt to advance the discussion in a constructive way. Unfortunately, Sher seems to have not fully understood my 1997. Several of the defenses she mounts in her 2001 are aimed at views I do not hold and did not advance in my 1997. Most prominent (...) among these are her claims that I reject the formal-structural account, because it licenses “unnatural” logical constants, and that I consider the “truth-functional criterion” for connectives “a paradigm of a successful criterion of logicality”. Both of these claims are simply false, as even a moderately careful reading of my 1997 will show. Other charges she makes have some basis in fact but are inaccurate. For example, she says that I claim that FS is “neutral with regard to the apriority of logic,” and that this neutrality “renders it inconsistent”. What I actually say is that Sher’s acceptance of the neutrality in question is “inconsistent with part of the legacy of Tarski, a legacy that she finds very congenial”, not that FS itself is inconsistent. More interestingly, she misunderstands my claim about the apriority of logic, and clarification of this misunderstanding suggests two distinct ways in which logic might be held to be free of empirical influence. It is also noteworthy that Sher’s statements about the apriority of logic constitute both a change in the position she took in her 1991 and, although she seems not to realize it, an admission that she does not take issue with one of my major criticisms. (shrink)

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (shrink)

Some widely accepted arguments in the philosophy of mathematics are fallacious because they rest on results that are provable only by using assumptions that the con- clusions of these arguments seek to undercut. These results take the form of bicon- ditionals linking statements of logic with statements of mathematics. George Boolos has given an argument of this kind in support of the claim that certain facts about second-order logic support logicism, the view that mathematics—or at least part of it—reduces to (...) logic. Hilary Putnam has offered a similar argument for the view that it is indifferent whether we take mathematics to be about objects or about what follows from certain postulates. In this paper I present and rebut these arguments. (shrink)

Does general validity or real world validity better represent the intuitive notion of logical truth for sentential modal languages with an actuality connective? In (Philosophical Studies 130:436–459, 2006) I argued in favor of general validity, and I criticized the arguments of Zalta (Journal of Philosophy 85:57–74, 1988) for real world validity. But in Nelson and Zalta (Philosophical Studies 157:153–162, 2012) Michael Nelson and Edward Zalta criticize my arguments and claim to have established the superiority of real world validity. Section 1 (...) of the present paper introduces the problem and sets out the basic issues. In Sect. 2 I consider three of Nelson and Zalta’s arguments and find all of them deficient. In Sect. 3 I note that Nelson and Zalta direct much of their criticism at a phrase (‘true at a world from the point of view of some distinct world as actual’) I used only inessentially in Hanson (Philosophical Studies 130:436–459, 2006), and that their account of the philosophical foundations of modal semantics leaves them ill equipped to account for the plausibility of modal logics weaker than S5. Along the way I make several general suggestions for ways in which philosophical discussions of logical matters–especially, but not limited to, discussions of truth and logical truth for languages containing modal and indexical terms–might be facilitated and made more productive. (shrink)

In their article, ‘That is not dead which can eternal lie: the aestivation hypothesis for resolving Fermi’s paradox’, Sandberg et al. try to explain the Fermi paradox by claiming that Landauer’s principle implies that a civilization can in principle perform far more times more) irreversible logical operations if it conserves its resources until the distant future when the cosmic background temperature is very low. So perhaps aliens are out there, but quietly waiting. Sandberg et al. implicitly assume, however, that computer-generated (...) entropy can only be disposed of by transferring it to the cosmological background. In fact, while this assumption may apply in the distant future, our universe today contains vast reservoirs and other physical systems in non-maximal entropy states, and computer-generated entropy can be transferred to them at the adiabatic conversion rate of one bit of negentropy to erase one bit of error. This can be done at any time, and is not improved by waiting for a low cosmic background temperature. Thus aliens need not wait to be active. As Sandberg et al. do not provide a concrete model of the effect they assert, we construct one and show where their informal argument goes wrong. (shrink)

The Search for the Legacy of the USPHS Syphilis Study at Tuskegee is a collection of essays from experts in a variety of fields seeking to redefine the legacy of the infamous Tuskegee Syphilis Study. The essayists place the legacy of the study within the evolution of racial and ethnic relations in the United States. Contributors include two leading historians on the study, two former United States Surgeons General, and other prominent scholars from a wide range of fields.

Originally published as a long essay in Mind and Cosmos, Volume II of the University of Pittsburgh series in the philosophy of science, this study admirably fills the need for an elementary survey of problems in the area of probability and induction. But it is more than an introduction. The author is working on the general thesis that Bayes' theorem of the probability calculus holds the key to the understanding of scientific inference. Guided by this idea he attempts to salvage (...) what he thinks is of value in various current theories of probability and scientific inference, particularly, the frequency theory of probability as defended by Reichenbach, Popper's views on the falsifiability of theories, and Hanson's work on the logic of discovery. These attempts to develop a theory in the latter part of the book follow discussions of Hume's critique of induction, the probability calculus and five past and present interpretations of the calculus. This is a well-written and challenging introduction to the field.—R. H. K. (shrink)

The chief topics discussed in this carefully written book are the nature of definitions in science, the distinction between observational and theoretical terms, changes in scientific concepts and the role of analogies and models in science. The unifying theme is that of meaning in the sciences. Its treatment by Achinstein indicates a trend in recent philosophy of science toward finding a middle ground between two antithetical positions on the topic of the meaning of scientific terms. On the one side stands (...) the traditional positivist and logical empiricist account which distinguishes sharply between the meaning of observational and theoretical terms, and on the other side, the more recent views of Feyerabend, Kuhn, Hanson, Toulmin and others who stress the dependence of the meaning of observational terms on that of theoretical terms and the change of meaning of all terms connected with a theory when the theory changes. Achinstein argues cogently that the extreme versions of these positions will not work. Their main problem is that their treatment of meaning is too rigid and monolithic. His own discussion of meaning in the early chapters on definition bristles with distinctions, nuances, and concrete examples from the sciences. In terms of the distinctions of this part of the book he is later able to argue against Feyerabend and Kuhn that in changes of scientific concepts such as characterize scientific revolutions not all of the meaning connections of the various terms need be altered. He also argues that of the many ways proposed to distinguish between theoretical and observational terms, no one is fundamental, though each may be relevant to certain categories of questions one might want to raise about scientific terms. This book thus leads away from the simpler doctrinal statements of the past about the meaning of scientific terms toward a theory of meaning requiring more distinctions, qualifications, nuances, and more subtlety all around.--R. H. K. (shrink)

According to a traditional view all logical truths are necessary however, this thesis recently has been faced with various critiques from different points of view. Introducing some logical operators, David Kaplan and Edward Zalta claim that there are logical truths regarding common definition ‒ that are not necessary. William Hanson objects Zalta's examples believing that they rely on unjustified presuppositions especially he does not accept real world validity as a proper notion for presenting logical truth. Nelson and Zalta reply (...) to his objections claiming that they have unacceptable grounds. In this paper, we introduce logical truths, then present Kaplan's and Zalta's examples and explore Hanson's objections together with their replies. At last we try to show the metaphysical roots of the debates. (shrink)